Generating Interface Prototype for EnergyPlus IDD File Using Unified Modeling Language and Coloured Petri-nets

Modeling Elevator System With Coloured Petri Nets

A fairly general model of the elevator system is presented. Coloured Petri Nets (CPN) and CPN tools are adopted as modeling tools. The model, which is independent of the number of floors and elevators, covers different stages of the elevator system in substantial detail. The model assists simulation-based analysis of different algorithms and rules which govern real elevator systems. The results...

Medication Management Process Modeling using Coloured Petri nets

Medication errors are recognized as a major cause of patient safety. Physicians, pharmacists, and nurses need to a greater effort to reduce medication and medical errors. However, it is difficult to identify roles and responsibility through medication process and errors has still happened in a hospital. A major problem of medication process is an ambiguity and regulation violation. We propose a...

Parameterised Coloured Petri Nets

Coloured Petri Nets Refinements

Coloured Petri nets allow for modelling complex concurrent systems, but the specification of such systems remains a challenging task. Two approaches are generally used to lessen these difficulties: decomposition and refinement. Charles Lakos proposed three kinds of refinements for coloured Petri nets: type refinement, subnet refinement, and node (place or transition) refinement. This paper prop...

Game Coloured Petri Nets

This paper introduces the notion of game coloured Petri nets. This allows the modeler to explicitly model what parts of the model comprise the modeled system and what parts are the environment of the modeled system. We give the formal definition of game coloured Petri nets, a means of reachability analysis of this net class, and an application of game coloured Petri nets to automatically genera...